Pankratova Irina A., Zapanov Rinchin O., Prudnikov Egor S., Zinchenko Sergey E., Bakharev Alexandr O. «On the properties of a finite-state generator» // Prikladnaya Diskretnaya Matematika - Applied Discrete Mathematics 2024. №66 C.78-85
Shabaldina Natalia V., Shirokova Ekaterina V., Prokopenko Svetlana A. «On deriving the parallel composition of extended finite state machines» // Tomsk State University Journal of Control and Computer Science 2019. №48 C.83-91
Gromov M.L. «A Method of the Complete Test Derivation For Labeled TransitionSystems » // 2008. №3 (4) C.85-98
Sotnikov Aleksandr P., Gromov Maxim L., Shabaldina Natalia V., Prokopenko Svetlana A. «Optimization of the client component by the criterion of the absence of redundant dialogues with the server» // Tomsk State University Journal of Control and Computer Science 2023. №62 C.107-114